Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·6h·
Discuss: Hacker News
⚠️Error Handling
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
⚠️Error Handling
Flag this post
Scala vs. F#
alexn.org·1d·
Discuss: Hacker News
📐Type Theory
Flag this post
Disciplined Biconvex Programming
arxiv.org·11h
🦀Rust
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·7h·
Discuss: DEV
⚠️Error Handling
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·2d·
Discuss: Hacker News
🐪ocaml
Flag this post
Pain Points of OCaml
quamserena.com·11h·
Discuss: Lobsters, Hacker News
🐪ocaml
Flag this post
Autark: Rethinking build systems – Integrate, Don't Outsource
blog.annapurna.cc·54m·
Discuss: Hacker News
🦀Rust
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·1d·
Discuss: DEV
🦀Rust
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·2d·
Discuss: Hacker News
📐Type Theory
Flag this post
Taming the Billion Dollar Mistake: Maarten Balliauw’s Guide to C# Nullable Reference Types
blog.jetbrains.com·3h
⚠️Error Handling
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·1d·
Discuss: Hacker News
📐Type Theory
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·1h·
Discuss: Hacker News
🦀Rust
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·8h·
Discuss: Hacker News
💻programming
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
RimStone is a different kind of programming language
dev.to·2d·
Discuss: DEV
🦀Rust
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·1h·
Discuss: Hacker News
🦀Rust
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
dev.to·16h·
Discuss: DEV
🦀Rust
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·11h
⚠️Error Handling
Flag this post
AI Uses Functions to Fetch Real Data (Not Just Chat)
farukalpay.substack.com·3h·
Discuss: Substack
💻programming
Flag this post